ViSiBooL—visualization and simulation of Boolean networks with temporal constraints
نویسندگان
چکیده
منابع مشابه
Asynchronous Simulation of Boolean Networks by Monotone Boolean Networks
We prove that the fully asynchronous dynamics of a Boolean network f : {0, 1} → {0, 1} without negative loop can be simulated, in a very specific way, by a monotone Boolean network with 2n components. We then use this result to prove that, for every even n, there exists a monotone Boolean network f : {0, 1} → {0, 1}, an initial configuration x and a fixed point y of f such that: (i) y can be re...
متن کاملFast Simulation of Probabilistic Boolean Networks
As an important mathematical framework, probabilistic Boolean networks (PBNs) are widely used for modelling and analysing biological systems. PBNs are suited for modelling large biological systems, which more and more often arise in systems biology. However, the large system size poses a significant challenge to the analysis of PBNs, in particular, to the crucial analysis of their steady-state ...
متن کاملSynchronization in output-coupled temporal Boolean networks
This paper presents an analytical study of synchronization in an array of output-coupled temporal Boolean networks. A temporal Boolean network (TBN) is a logical dynamic system developed to model Boolean networks with regulatory delays. Both state delay and output delay are considered, and these two delays are assumed to be different. By referring to the algebraic representations of logical dyn...
متن کاملBoolean surfaces with shape constraints
In this paper, we present a new method for the construction of parametric surfaces reproducing an object from a set of spatial data. We adopt a hybrid scheme, based on the Boolean sum of variable degree spline operators, which both interpolate a set of grid lines and approximate the data. As usual the variable degrees can be chosen to satisfy proper shape constraints. c © 2007 Elsevier Ltd. All...
متن کاملTemporal Constraints on Trajectories in Qualitative Simulation
We present a new method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. Such constraints are otherwise inexpressible using standard qualitative reasoning techniques. Trajectory constraints can be used to restrict the simulation to a region of the state space and to inject discontinuities. This capability can be used to f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bioinformatics
سال: 2016
ISSN: 1367-4803,1460-2059
DOI: 10.1093/bioinformatics/btw661